BRICS RSGerhardy & Kohlenbach: General Logical Metatheorems for Functional Analysis BRICS Basic Research in Computer Science

Source URL: www.brics.dk

Development of Feline Infectious Peritonitis Jenna Dale, Dr. Cody Coyne Department of Basic Sciences, Mississippi State University College of Veterinary Medicine, Starkville, MS Research supported by American Humane Asso

Source URL: www.americanhumane.org

• Medicine
• Feline infectious peritonitis
• Nidovirales
• Vaccination
• Cat
• Influenza
• Virus
• Vaccine
• Feline coronavirus
• Veterinary medicine
• Animal virology
• Biology

BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Lossy Dictionaries Lossy Dictionaries

Source URL: www.brics.dk

• Computer programming
• Abstract data types
• Data types
• Information retrieval
• Cryptographic hash functions
• Hash table
• Hash function
• Associative array
• Bit array
• Search algorithms
• Computing
• Hashing

BRICS Basic Research in Computer Science BRICS RS-01-6 Gutin et al.: Domination Analysis of Greedy-Type Heuristics for the TSP

Source URL: www.brics.dk

• Operations research
• NP-complete problems
• Nearest neighbour algorithm
• Integer sequences
• Greedy algorithm
• Domination analysis
• Factorial
• Heuristic function
• Summation
• Mathematics
• Approximation algorithms
• Travelling salesman problem

BRICS RSKirkegaard & Møller: Type Checking with XML Schema in X ACT BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSHangos et al.: Some Complexity Problems on Single Input Double Output Controllers Some Complexity Problems on

Source URL: www.brics.dk

• Graph
• Matching
• Bipartite graph
• Independent set
• Matroid theory
• Tutte polynomial
• Path decomposition
• Graph theory
• Mathematics
• NP-complete problems

BRICS Basic Research in Computer Science BRICS RSAceto et al.: Equational Theories of Tropical Semirings Equational Theories of Tropical Semirings

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

BRICS Basic Research in Computer Science BRICS RSCrazzolara & Winskel: Language, Semantics, and Methods for Cryptographic Protocols Language, Semantics, and Methods for

Source URL: www.brics.dk

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk